A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs Claudio Corrodi1,2? , Alexander Heußner3 , and Christopher M. Poskitt1,4? Department of Computer Science, ETH Zürich, Switzerland Software Composit

Source URL: se.inf.ethz.ch

• Software engineering
• Computing
• Computer programming
• Logic in computer science
• Object-oriented programming languages
• Programming language semantics
• SCOOP
• Semantics
• Eiffel
• Operational semantics
• Concurrency
• Actor model

Spotting Automatically Cross-Language Relations Federico Tomassetti Giuseppe Rizzo Marco Torchiano

Source URL: giusepperizzo.github.io

• Cross-platform software
• Scripting languages
• Computational linguistics
• JavaScript
• Web programming
• Semantic similarity
• Semantics
• Java
• Abstract syntax tree
• Modeling language
• Domain-specific language
• Reserved word

- Code Query Language - Code Query Language Second EditionAny type of modification or distribution is not allowed or has to be granted by Software-Engineering

Source URL: www.reflectk.com

• Computing
• Software engineering
• Computer programming
• Method
• Java
• Cross-platform software
• C++
• Constructor
• Classpath
• Default constructor
• This
• Type signature

Implicit Parallelism through Deep Language Embedding Alexander Alexandrov Lauritz Thamsen Andreas Kunft Odej Kao

Source URL: stratosphere.eu

• Software engineering
• Computer programming
• Computing
• Functional languages
• Higher-order functions
• Programming language comparisons
• Concurrent programming languages
• Object-oriented programming languages
• Monad
• Set-builder notation
• Scala
• Haskell

This is the authors version of the paper and intended for personal use only. Any other use may violate the ACM copyright. FeatureCommander: Colorful #ifdef World Janet Feigenspan, Maria Papendieck

Source URL: wwwiti.cs.uni-magdeburg.de

• Programming language implementation
• Conditional compilation
• Preprocessor
• Feature-oriented programming
• Product family engineering
• Software system
• Compiler

Bytecode Translation: From The .Net CLR To Parrot Jonathan Worthington OSCON 2007

Source URL: jnthn.net

• Software
• System software
• Computing
• Programming language implementation
• Compiler construction
• Bytecode
• Parrot virtual machine
• VM
• Compiler
• Virtual machine

To Run What No One Has Run Before: Executing an Intermediate Verification Language? Nadia Polikarpova, Carlo A. Furia, and Scott West Chair of Software Engineering, ETH Zurich, Switzerland

Source URL: people.csail.mit.edu

1 Émigré: Metalevel Architecture and Migratory Work Paul Dourish and André van der Hoek Dept. of Information and Computer Science University of California, Irvine

Source URL: www.dourish.com

• Systems engineering
• Software architecture
• Middleware
• Modeling language
• Conceptual model
• Systems science
• Engineering
• Operations research
• Modeling and simulation
• DYA framework
• Moose

LLDSAL: A Low-Level Domain-Specific Aspect Language for Dynamic Code-Generation and Program Modification Mathias Payer Boris Bluntschli

Source URL: hexhive.github.io

• Software engineering
• Software
• Computing
• Compiler construction
• Programming language implementation
• Procedural programming languages
• Cross-platform software
• Object-oriented programming languages
• Domain-specific language
• D
• Assembly language
• Compiler

Deriving Generic Functions by Example Neil Mitchell University of York, UK http://www.cs.york.ac.uk/~ndm/ Abstract. A function is said to be generic if it operates over values of

Source URL: ndmitchell.com

• Software engineering
• Computer programming
• Declarative programming
• Functional programming
• Data types
• Programming language comparisons
• Type theory
• Higher-order functions
• Fold
• Generic programming
• Map
• Type class